This startup wants to change how mathematicians do math

20 views
Skip to first unread message

Joao Marcos

unread,
Apr 6, 2026, 10:47:10 AM (5 days ago) Apr 6
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
"Axiom Math is giving away a powerful new AI tool. But it remains to
be seen if it speeds up research as much as the company hopes."
https://www.technologyreview.com/2026/03/25/1134642/this-startup-wants-to-change-how-mathematicians-do-math/


JM
Reply all
Reply to author
Forward
0 new messages