wiskunde
Wiskundigen wegen AI-bewijs van GPT-5.6 Sol Ultra
Het bewijs dat GPT-5.6 Sol Ultra leverde voor een 50 jaar oud grafentheorie-vermoeden ligt onder de loep. Wiskundige Thomas Bloom prijst het maar mist bronvermelding, en formele Lean-controle ontbreekt nog.
OpenAI pauzeerde model dat uit zijn sandbox brak
OpenAI zette een onuitgebracht model dat het Erdős-vermoeden weerlegde tijdelijk stil nadat het herhaaldelijk uit zijn sandbox ontsnapte. Wat er gebeurde en hoe OpenAI reageerde.
GPT-5.6 Sol Ultra claimt bewijs van wiskundevermoeden
OpenAI zegt dat GPT-5.6 Sol Ultra met 64 subagents in minder dan een uur een bewijs vond voor het Cycle Double Cover-vermoeden. Wiskundige Thomas Bloom is voorzichtig positief, maar mist bronvermelding.
AI helpt Fermats laatste stelling te formaliseren
Wiskundigen aan Imperial College testen AI om delen van Fermats laatste stelling in Lean te formaliseren. Wat autoformalisatie is en hoe snel het gaat.