The Busy Beaver Problem: Recent BB(5) Breakthrough and the Antihydra Challenge

AI's rapid progress in solving advanced math problems sparks debate among mathematicians

Mathematicians are stunned at the progress AI is making in solving advanced problems, leaving some questioning whether there will still be r

OpenAI's GPT-5.6 Sol Ultra produces proof of 50-year-old Cycle Double Cover Conjecture in under an hour

OpenAI's GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture in under an hour, using 64 subagents working in parallel. T

Formalization of Erdős problems

[This is a guest post by Boris Alexeev. Now over to Boris.] I’m here to tell you about various exciting developments centering on Erdős prob

OpenAI's GPT-5.6 Sol reportedly solves 50-year-old cycle double cover conjecture

What’s the secret to prompting an AI to solve math problems that have left humans stumped? Tell it to believe in itself

ACM Transactions on Mathematical Software (toms) Vol 52, Issue 2

OpenAI yapay zeka modeli, 80 yıllık çözülememiş matematik problemi "birim uzaklık problemi"ni otonom olarak çözdü

OpenAI tarafından geliştirilen bir yapay zeka modeli, insanlığın yaklaşık bir asırdır üzerinde çalıştığı ünlü "birim uzaklık problemini" her