mapgleos ✙ #УкрТґ
upd: turned out to be fake https://en.uesp.net/wiki/General:Michael_Kirkbride “drugs use hoax” section
upd: turned out to be fake
https://en.uesp.net/wiki/General:Michael_Kirkbride
“drugs use hoax” section
https://en.uesp.net/wiki/General:Michael_Kirkbride
“drugs use hoax” section
en.uesp.net
General:Michael Kirkbride - UESP Wiki - The Unofficial Elder Scrolls Pages
Michael Kirkbride is a video game designer, writer, and artist who worked on Redguard, Morrowind, and Oblivion, as well as providing additional uncredited contributions to Daggerfall, Knights of the Nine, Skyrim, and The Elder Scrolls Online.
💔6❤1⚡1
Forwarded from лінк (т)вінк / link (t)wink =3 (fghyjasdfjh)
This media is not supported in your browser
VIEW IN TELEGRAM
Марс імьордженсі
🥰14👎1🔥1
Forwarded from Axis of Ordinary
Math, Inc. introduces “Gauss,” an autoformalization agent that (they say) completed the Strong Prime Number Theorem (PNT) formalization in Lean in ~3 weeks, a challenge initiated by Terence Tao & Alex Kontorovich in Jan 2024. Their post also notes Tao/Kontorovich announced intermediate (“medium PNT”) progress in July 2025, but were stuck on complex-analysis hurdles that Gauss then cleared.
The artifact is public: a GitHub repo with ~25k lines of Lean and ~1.1k theorems/defs, plus a LaTeX blueprint and rendered docs. The README says “most statements and proofs were produced by Gauss” with targeted human scaffolding; parts re-use/adapt code from the earlier PrimeNumberTheoremAnd project.
Funding/Partner: DARPA’s expMath program
🔗 Blog: https://math.inc/gauss
🔗 GitHub: https://github.com/math-inc/strongpnt
🔗 Early access: https://math.inc/early-access
The artifact is public: a GitHub repo with ~25k lines of Lean and ~1.1k theorems/defs, plus a LaTeX blueprint and rendered docs. The README says “most statements and proofs were produced by Gauss” with targeted human scaffolding; parts re-use/adapt code from the earlier PrimeNumberTheoremAnd project.
Funding/Partner: DARPA’s expMath program
🔗 Blog: https://math.inc/gauss
🔗 GitHub: https://github.com/math-inc/strongpnt
🔗 Early access: https://math.inc/early-access
🔥2
Forwarded from Veronika's Sanctuary 🦊 (Veronika 🦊)
This media is not supported in your browser
VIEW IN TELEGRAM
LMAO
🔥12