专题

Axiom Math хочет, чтобы искусственный интеллект не вмешивался в математику

Поскольку ИИ наводняет математику непроверенными доказательствами, Axiom Math делает ставку на проверку. ИИ-агенты стартапа только что официально проверили проект Stacks, одну из крупнейших библиотек в этой области.