Astra reportedly spots several fixable errors in a math proof
A user says a math professor friend was surprised by Astra's review of their latest paper: “wow this is amazing, had no idea AI could do this.”
TLDR
A user says they asked Astra, for fun, to review the latest paper by a middle school friend who is now a math professor. They report that Astra found several fixable bugs in the proof, and that the professor expressed surprise at the AI's capabilities when contacted on Facebook.
Combined views
4.7K
1 Source, first seen 5h ago
Astra reportedly spots several fixable errors in a math proof
A user says a math professor friend was surprised by Astra's review of their latest paper: “wow this is amazing, had no idea AI could do this.”
TLDR
A user says they asked Astra, for fun, to review the latest paper by a middle school friend who is now a math professor. They report that Astra found several fixable bugs in the proof, and that the professor expressed surprise at the AI's capabilities when contacted on Facebook.