AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried.
https://t.co/SD1vVPkrHR
Another Erdős Problem solved by GPT-5.2
Myself and @AcerFur gave GPT-5.2 our #728 proof to modify for the very similar problem #729.
After some iterations between 5.2 Thinking, 5.2 Pro and @HarmonicMath 's Aristotle, we have a correct Lean proof.
Literature review is ongoing.
Also crazy to see such raises to advance theoretical mathematical research which was unheard of until recent. Congrats @vladtenev
Pure maths as a domain has been stagnated for the past decades imo, this might change things a bit
https://t.co/6ACOI5VUpC
We’re excited to announce our $120M Series C as we accelerate the development and commercialization of Mathematical Superintelligence. We’re grateful to our investors, including @ribbitcapital and @EmCollective, for their continued partnership.
Things are set in motion in the formal verification/theorem proving area, pretty neat to see Terry Tao and Co. in live action in the Erdos Trenches using novel tools, won't be too far out till the majority is solved ig
https://t.co/jgdsLIhuyz
Are you vibe proving anon
Starting a new article series, "Open Source Trading"
I've always planned to open source trading tools I've built when I "retire" from active trading, but given that I don't plan on retiring soon and the market is pretty quiet, I figured I'd start now:
https://t.co/sH04DLpkyg