『OpenAI pulls three maths proofs and bans two propaganda networks [Oct 9 2026]』のカバーアート

OpenAI pulls three maths proofs and bans two propaganda networks [Oct 9 2026]

OpenAI pulls three maths proofs and bans two propaganda networks [Oct 9 2026]

無料で聴く

ポッドキャストの詳細を見る

【Amazonプライム会員限定】今ならプレミアムプランが4か月 月額99円。

10月19日まで。※適用条件あり
OpenAI withdrew three of the manuscripts it published this week on unsolved mathematics problems, after a sign error invalidated an argument in one paper and the construction two dependent papers relied on. The catalogue now lists 719 manuscripts in 372 families, with 300 of 719 top-line results formalised in Lean, and a preprint by mathematicians at Cambridge and King's College London reports that the Lean proof of OpenAI's announced Navier-Stokes blow-up does not correspond to the natural-language proof. OpenAI also published a malicious-use report banning two covert influence operations, one originating in Russia and one in Iran. It rated the Russian operation Category 5 on its 1-to-6 Breakout Scale, the first Category 5 operation it has disrupted. The Iranian cluster ran seven invented reporters whose bylines appeared on almost 100 articles across roughly a dozen outlets. Anthropic launched a Critical Infrastructure Defense Program with 11 founding partners and a free open-source code scanner, and published a Usage Policy update taking effect on November 12 that explicitly bars weapons software and the arming of drones. The Financial Times reports OpenAI has told investors its annualised revenue is "approaching $50 billion", about $20 billion below figures reported a week earlier. Senators Jim Banks and Kirsten Gillibrand introduced a bill that would require Defense Department AI contractors holding deals of $100 million or more to report model-weight theft within 72 hours.
adbl_web_anon_alc_button_suppression_t1
まだレビューはありません