TechCrunch · AI· Aditya Mehta·· 8 дн назадГлавноеОценка AI78
Axiom Math стремится исключить ошибки AI из математики
Axiom Math wants to keep AI slop out of mathematics
Кратко от AI
Компания Axiom Math объявила о формальной верификации проекта Stacks, одного из крупнейших математических трудов。
Почему это важно
Работа Axiom Math по формализации математических доказательств может значительно повлиять на будущее использования AI в математике и программировании.
Источник:TechCrunch · AI · techcrunch.com