Lean

$Axiom Math формалізувала бібліотеку Stacks Project у коді Lean$

четвер, 5 листопада 2026 р.

Новини

Axiom Math заявила про формальну верифікацію Stacks Project, перевівши математичну бібліотеку у 16 млн рядків коду Lean.

пʼятницю, 9 жовтня 2026 р.

Новини

OpenAI оприлюднила сотні математичних результатів, але формально перевірено лише близько 42% рукописів.

четвер, 8 жовтня 2026 р.

Новини

Математики вказали на нестачу прозорості та розбіжності у формалізації оприлюднених OpenAI математичних доведень.