grafentheorie
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.