Claude Fabel 5 disproved the Jacobian conjecture over the weekend, landing days after the capabilities of China's Kimi AI became the biggest force moving bitcoin markets.
AI is increasingly being used as collaborators in mathematical research rather than simply as computational tools.
Poolside’s Laguna S 2.1 is a new Western open-weight coding AI model that rivals larger systems on benchmarks with transparent evaluation and low-cost deployment.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results