OpenAI выложила на GitHub математические результаты внутренней модели

• —Опубликованы формализация доказательств в Lean, 10 сводок рассуждений и статистика попыток решения задач
• —Средний результат потребовал около 3 часов вычислений в режиме thinking ChatGPT Pro
• —Дрейк допустил взлом эллиптических кривых ИИ, но заявил о «значительной уверенности» в стойкости криптографии
• —The Block: Дрейк советует держателям крипты перевести активы на новые адреса без раскрытия публичного ключа