#formalproof — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #formalproof, aggregated by home.social.
-
When you're building with an AI friend, it helps to perform strict code review
[billions of years of evolution are going to be wrong in a particular way that will be unnoticeable from within the system]
[[one hopes]]
[[[are we inside the system]]]
[[you are, you're lower]]
[[[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
-
Timothy Gowers notes that GPT‑5 is becoming a handy lab assistant for mathematicians, handling routine algebra, checking inequalities and even streamlining compactness arguments. The open‑source community can leverage this language model to offload tedious steps and focus on insight. Curious how AI is reshaping research? #GPT5 #OpenAI #TimothyGowers #FormalProof
🔗 https://aidailypost.com/news/gpt5-helps-mathematicians-offload-tedious-tasks-says-timothy-gowers
-
A Formal Proof of Complexity Bounds on Diophantine Equations
https://arxiv.org/abs/2505.16963
#HackerNews #FormalProof #ComplexityBounds #DiophantineEquations #MathResearch #arXiv
-
A Formal Proof of Complexity Bounds on Diophantine Equations
https://arxiv.org/abs/2505.16963
#HackerNews #FormalProof #ComplexityBounds #DiophantineEquations #MathResearch #arXiv
-
A Formal Proof of Complexity Bounds on Diophantine Equations
https://arxiv.org/abs/2505.16963
#HackerNews #FormalProof #ComplexityBounds #DiophantineEquations #MathResearch #arXiv
-
A Formal Proof of Complexity Bounds on Diophantine Equations
https://arxiv.org/abs/2505.16963
#HackerNews #FormalProof #ComplexityBounds #DiophantineEquations #MathResearch #arXiv
