математика

OpenAI заявила, что секретная ИИ-модель решила сотни открытых математических задач, сгенерировав 722 рукописи за один запрос. Математики требуют доказательств.

OpenAI заявила о существенном прогрессе в решении второй задачи тысячелетия, но не раскрывает, какой именно. Это может повлиять на безопасность блокчейна и криптовалют.

Теренс Тао предупреждает: ИИ решает математические задачи быстрее, чем их успевают придумывать. Это создаёт гонку между OpenAI и Anthropic и может изменить криптоиндустрию.

OpenAI заявила о решении задачи Навье-Стокса за $1 млн, но математик из NYU Тристан Бакмастер утверждает, что он и его коллега из Anthropic сделали это первыми, и обвиняет OpenAI в краже идеи.

ИИ Claude от Anthropic доказал Великую теорему Ферма, создав 13 миллионов строк кода за 11 дней. Это открывает новые возможности для автоматической верификации в криптографии и блокчейне.