OpenAI revealed that an internal version of its next major model, Astra, cracked 10 previously unsolved problems in mathematics and theoretical computer science, with formal Lean proofs published on GitHub. Fields Medal winner Timothy Gowers said he would recommend one of the proofs for a top journal without hesitation. This is a step beyond summarizing or coding — it is AI doing original research. What field do you think AI breaks open next?
No referrals yet — be the first! Every friend who buzzes through your link puts you on the board.
Log in and buzz to get your share link and climb the board.
Log in or create a free account to join the conversation.
No comments yet — be the first to weigh in.