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
April 25, 2025 at 11:05 PM
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
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
🔗
🔗
November 29, 2025 at 5:33 PM
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 #Science #ComputerScience #ArtificialIntelligence #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...
purescience.news
November 10, 2025 at 5:42 PM
To Have Machines Make Math Proofs, Turn Them Into a Puzzle #Science #ComputerScience #ArtificialIntelligence #MathProofs
Ever wondered why the formula for the area of a circle is πr²? Here is the visual proof that makes it instantly make sense! 📐 When you slice a circle into infinite thin sectors and rearrange them, they form a rectangle with a height… #math #geometry #visuallearning #mathproofs #soviai #studyhacks
August 9, 2026 at 11:45 AM
Ever wondered why the formula for the area of a circle is πr²? Here is the visual proof that makes it instantly make sense! 📐 When you slice a circle into infinite thin sectors and rearrange them, they form a rectangle with a height… #math #geometry #visuallearning #mathproofs #soviai #studyhacks
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
August 5, 2025 at 4:00 AM
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
June 19, 2025 at 2:00 PM
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