#AI-код

И исследования ·17 авг 2026

ИИ впервые проверил самое сложное математическое доказательство: теорема о простых числах и будущее безопасного кода

Команда Axiom Math автоматически верифицировала доказательство «теоремы 246» — важнейшего результата о простых числах. Это первый случай полной AI-проверки столь сложного доказательства. Главное: технология готовится проверять AI-код, на котором скоро будет работать весь мир.

0 118

Р регулирование ·7 авг 2026

Oracle запретила AI-код в OpenJDK — при том, что сама уже полностью пишет на AI

Oracle запретила принимать AI-сгенерированный код в OpenJDK, ссылаясь на риски безопасности и интеллектуальной собственности. При этом основатель компании Ларри Эллисон публично заявил, что внутри Oracle код уже пишут нейросети. Компания тратит $70 млрд на ЦОДы, рейтинг облигаций упал до предусмотрительного минимума. Двойные стандарты в действии: внутри AI — норма, в open-source — табу.

0 106