Rating
Innovation
Pricing
Technology
Usability
We have discovered similar tools to what you are looking for. Check out our suggestions for similar AI tools.
GPT-5.6 Sol reportedly disproves a 30-year-old statistics conjecture in 90 minutes after humans couldn't crack it
A University of Pennsylvania statistics professor used OpenAI's GPT-5.6 Sol Pro to disprove a central open conjecture about the Benjamini-Hochberg method in roughly 90 minutes. The predecessor mo [...]
MIT report says AI can complete almost any undergraduate assignment it sets
An MIT committee report says AI can produce credible responses to almost any written assignment in its undergraduate curriculum and has driven measurable shifts in campus culture in under three years. [...]
Nous Research just released Nomos 1, an open-source AI that ranks second on the notoriously brutal Putnam math exam
Nous Research, the San Francisco-based artificial intelligence startup, released on Tuesday an open-source mathematical reasoning system called Nomos 1 that achieved near-elite human performance on th [...]
An AI just broke an 87-year-old maths problem, in a tweet sent during the World Cup final
On Sunday evening, as Spain and Argentina played out the World Cup final, the mathematician Levent Alpöge posted a short message on X. The Jacobian conjecture, he wrote, is false. He thanked a friend [...]
OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour
OpenAI's GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture in under an hour, using 64 subagents working in parallel. The conjecture had remained unsolved for 50 years. Mathe [...]
Canada Is Luring AI and Science Talent as Trump Upends U.S. Research
For decades, the United States benefited from one of the most powerful competitive advantages in science: many of the world’s best researchers wanted to work there. That advantage is not disappearin [...]
