DeepSeekMath‑V2 is an open‑source beast that writes and checks its own math proofs, using an internal critique loop and low test‑time compute. Could it be the pop‑off point for the US AI bubble? Dive in to see how it stacks against OpenAI and DeepMind. #DeepSeekMathV2 #OpenSourceAI #MathProofs

🔗

To Have Machines Make Math Proofs, Turn Them Into a Puzzle The mathematical conundrums that Marijn Heule has helped crack in the last decade sound like code names lifted from a sci-fi spy novel: the empty hexagon. Schur Number 5. Keller’s conjecture, dimension...

To Have Machines Make Math Proofs, Turn Them Into a Puzzle #Science #ComputerScience #ArtificialIntelligence #MathProofs

Overview: Hacker News discusses formalizing Fermat's Last Theorem using the Lean theorem prover. Key themes include the structure of Focused Research Organizations (FROs) and the potential role of AI in rigorous mathematical proof verification. #MathProofs 1/6

HN discussed "proofs without words" - visual math proofs w/o formal text. Users debated their appeal vs. limitations, rigor concerns, and subjectivity. Some find them intuitive, others misleading. Explores resources & examples. #MathProofs 1/5

brief alt text description of the first image

AI aces basic math but struggles with complex proofs like the US Math Olympiad. Research reveals even 'reasoning' models lack deep understanding for competition challenges, often confidently wrong. Pattern matching isn't true proof. #AI #LLM #MathProofs