Peking University scholar uses LLM to disprove Yau-Tian-Donaldson conjecture
teortaxesTex · x · 2026-08-22
Jihao Liu, an algebraic geometer from Peking University, used an LLM to disprove the Yau-Tian-Donaldson conjecture. Crucially, this was not a low-hanging fruit combining existing human achievements; the LLM created innovative mathematical methods, demonstrating AI's potential for discovery in mathematics.
More from Research
- MLCB 2026 Spotlight: Evaluating Spatial Transcriptomics Foundation Models on Multi-Scale Variation — anshulkundaje · 2026-08-22
- Stanford Uses AI to Audit 3B Words of US Law, Revealing Regulatory Bloat — shashib · 2026-08-22
- arXiv: Fast proxy centers for Jeffreys centroids via Fisher-Rao midpoints — FrnkNlsn · 2026-08-22
- Formal methods for AI safety: world models, verifiers, and sanctions — devanshmehta · 2026-08-22
- Seoul World Model Generates Realistic Robotics Training Data via Spatial RAG — bilawalsidhu · 2026-08-22
- GLM 5.3, Fable 5, and GPT-5.6 Sol show opposite results on Terminal-Bench 3 vs DeepSWE — zainhas · 2026-08-22