BestHub
Sign in
Machine Learning Algorithms & Natural Language Processing
Machine Learning Algorithms & Natural Language Processing
Apr 27, 2026 · Artificial Intelligence

How a 23‑Year‑Old Outsider Cracked a 60‑Year‑Old Math Conjecture Using ChatGPT

A 23‑year‑old without formal math training teamed with a Cambridge student and ChatGPT, solving the 60‑year‑old Erdős primitive‑set conjecture in 80 minutes, while traditional mathematicians had been stuck for decades, highlighting a radically different AI‑driven proof strategy.

AI mathematicsChatGPTErdős conjecture
0 likes · 8 min read
How a 23‑Year‑Old Outsider Cracked a 60‑Year‑Old Math Conjecture Using ChatGPT
AI Algorithm Path
AI Algorithm Path
May 3, 2025 · Artificial Intelligence

DeepSeek Prover V2: Pioneering the Next Era of AI‑Driven Formal Math Reasoning

DeepSeek‑Prover‑V2, an open‑source LLM specialized for Lean 4, bridges intuitive high‑level reasoning and strict formal verification through sub‑goal decomposition, dual operation modes, and a novel cold‑start data pipeline, achieving state‑of‑the‑art results on MiniF2F, PutnamBench and CombiBench while highlighting trade‑offs in inference cost and model scalability.

AI mathematicsDeepSeek Prover V2LLM
0 likes · 18 min read
DeepSeek Prover V2: Pioneering the Next Era of AI‑Driven Formal Math Reasoning