Axios cites people familiar with the deal and reports CEO Charlie Holtz says the team will join Meta Superintelligence Labs; financial terms were not disclosed.
The roughly 7,500-page algebraic geometry reference is now one machine-checked library; outside mathematicians have not yet reviewed how faithful the statements are.
Only 24% think AI will do more to help. 23% called AI and data centres crucial to their vote, and 43% trust neither party to handle AI; the figures are early and still updating.
Tencent calls Hy4 one of the strongest open-weight models available but says it still trails leading closed systems on research-level maths, long-horizon coding and advanced visual questions.
The midterm votes covered 21 measures in 18 Ohio municipalities, about half of the 41 local data-centre measures nationwide; Sunbury banned sites of 25MW or more.
In a post on X, the OpenAI chief executive wrote that this requirement should ultimately constrain AI progress, and that OpenAI rejects people being relegated to doing what AI systems decide to reward.
Texas accounts for more than 25% of planned US data-centre capacity by 2030; overnight CoreWeave fell 7% and SpaceX 6% on Robinhood and Nasdaq-100 futures were down 0.8%.
Executives disclosed the figures on the third-quarter earnings call, against about 320 million rides and deliveries in Halloween week.
Google says the money covers new campuses in Selangor and Negeri Sembilan, more than 1GW of added clean energy, water security and worker training; it will pay for all the power its campuses use.
Pangram says Image 1.0 catches 99.2% of AI images while wrongly flagging 0.27% of real ones and Flash 1.0 scores 98.7% on the DF26 video benchmark; the results are company-reported.
Co-CEO Tekedra Mawakana told Bloomberg riders will book through Waymo's own app; Uber says it was Waymo's idea not to offer direct robotaxi booking in Uber's app.
The system orchestrates more than 20 instrument types across over 11,000 steps and matched expert-optimised enzymatic DNA synthesis yields.