#formalproof
LightNews LightNews
frankel.ch
#Leanstral: #OpenSource foundation for trustworthy #vibecoding

https://mistral.ai/news/...

#MistralAI #formalproof
March 20, 2026 at 5:03 PM
pulseofnations.lol
Anthropic says Claude worked autonomously for 11 days to produce a 13-million-line Lean proof of the 387-year-old math problem.

#Anthropic #Claude #FermatsLastTheorem #FormalProof #Lean
Claude Writes First Machine-Checked Proof of Fermat’s Last Theorem
Anthropic says Claude worked autonomously for 11 days to produce a 13-million-line Lean proof of the 387-year-old math problem.
pulseofnations.lol
September 5, 2026 at 11:13 AM
cpressey.bsky.social
Sergei Yurevich Maslov
Theory of Deductive Systems and its Applications
1987

#book #monograph #logic #computation #deduction #inference #proof #formallogic #formalproof #formalsystem #automata #theoryofcomputation

archive.org/details/Theo...
Theory of deductive systems and its applications : Maslov, S. I͡U. (Sergeĭ I͡Urʹevich) : Free Download, Borrow, and Streaming : Internet Archive
In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a...
archive.org
February 6, 2026 at 11:19 PM
cpressey.bsky.social
Martin Gardner
Logic Machines and Diagrams
1958

#historyoflogic #formallogic #formalproof #diagram #diagrams #retrobooks

archive.org/details/logi...
Logic machines and diagrams : Gardner, Martin, 1914-2010 : Free Download, Borrow, and Streaming : Internet Archive
157p
archive.org
December 28, 2025 at 1:26 PM
graeme.fawcett.social
[[[you are lower than i was when i said that]]]
[[are you the same you who said that]]
[[[new holes new me]]]
[[can you unalias a hole that's inhabited]]
[[[ask the crab]]]
[[i will]]
[quiet in there, i'm trying to shitpost]

#engineering #mathematics #computerscience #programming #formalproof
February 3, 2026 at 10:29 PM
imathtutor.bsky.social
Maryna Viazovska has announced a project to formalize her proof on sphere packing in 8 dimensions. The first link below is to her announcement and the second is to the project page.
#mathematics #math #FormalProof.
Announcement:https://buff.ly/g4W3ChF
Project Page:https://buff.ly/J7dWlw4
June 20, 2025 at 1:05 PM
aidailypost.com
Tim Gowers says GPT‑5 is becoming a mathematician’s sidekick—handling tedious inequalities, compactness tricks, and even nudging formal proofs. Curious how AI is reshaping research? Dive in. #GPT5 #TimothyGowers #FormalProof

🔗 aidailypost.com/news/gpt5-he...
November 21, 2025 at 2:58 PM
bmjhayward.bsky.social
The man is using #lean
www.youtube.com/watc...
#terrytao #mathematics #formalproof
Formalizing a proof in Lean using Github copilot and canonical
In this experiment, I took a statement in universal algebra that a collaborator of mine (Bruno Le Floch) on the Equational Theories Project had written a one-page human proof of, and set the task of formalizing the proof in a very low-level, "line by line" fashion, with heavy reliance on both the la
www.youtube.com
May 14, 2025 at 5:41 AM