en.sedaily

OpenAI Posts 722 Math Papers, Cracking 300-Plus Open Problems

OpenAI released 722 math manuscripts with new solutions to over 300 problems, including partial progress on the Riemann ...

AI 公司要解决数学世界最难的问题？

卡尔希（Kalshi）上有两组市场，把人工智能公司的竞争推到了一个极端问题上：OpenAI 或 Anthropic，谁会先宣布解决一个千禧年大奖问题？ OpenAI 在 2027 年 1 月 1 日前宣布解决的概率约 28%，2028 年前则约 69%；这个“2027 年前”的盘口在 24 小时内上升了约 6 个百分点。Anthropic 的另一组市场则显示，宣布解决的概率约 18%，不宣布约 8 ...

10.000 agentes y un lápiz

10.000 agentes y un lápiz 8 de octubre 05:00 8 de octubre 05:00 Alicia Asín LO QUE PASÓ MAÑANA Mientras los informáticos del ...
Expresso

A IA e os Sete Anões (aka Problemas do Milénio)

O Clay Mathematics Institute é uma das instituições de maior prestígio no mundo da matemática e lançou os Sete Problemas do ...

OpenAIが「ホッジ予想」の特別な場合で証明を主張——粘土とLEGOで読む、ポアンカレから130年の穴の数学

10月7日の朝、「OpenAI、ホッジ予想を証明」という見出しを見て記事を開き、「虚数乗法をもつ複素アーベル多様体」という一行で手が止まった方は多いはずです。