ResearchOpenAI says its models solved three famous problems. Experts have started checkingRoman Aglaganov30 OCT 2026
OpinionOpinion: A proof a machine has checked still needs a person who understands itRoman Aglaganov29 OCT 2026
ResearchGoogle’s Deep Review checks papers for errors, and now anyone can use itRoman Aglaganov14 OCT 2026
ResearchOpenAI posted 700 AI-written maths papers. Mathematicians are still readingRoman Aglaganov10 OCT 2026
