Research
Congratulations to Tristan Buckmaster and Levent Alpöge for developing the AI assisted techniques for solving an important math problem. Con…
Congratulations to Tristan Buckmaster and Levent Alpöge for developing the AI assisted techniques for solving an important math problem. Congratulations to OpenAI for not letting any good customer tra
Congratulations to Tristan Buckmaster and Levent Alpöge for developing the AI assisted techniques for solving an important math problem. Congratulations to OpenAI for not letting any good customer transcripts go unmined. https://cims.nyu.edu/~tristanb/statement.pdf drama summary for those confused: - Aug 15th: Tristan Buckmaster & Levent Alpöge make progress on a few important math problems - they do NOT have a proof for the $1,000,000 Millenium Prize problem. BUT, they do claim to have a proof for a similar (non-Millenium) Navier Stokes pr…
Related
- NEW: Aleph Prover has formalized OpenAI’s disproof of Paul Erdős’ planar unit problem. We are releasing the formalization as open source so …
- Yann LeCun says LLMs are strongest in domains where language itself is the substrate of reasoning, like math and code They can solve problem…
Source: Yann LeCun (X) | 2026-09-09