Loading activity…
@haider1
open intelligence for a decentralized future
AI
The Rundown AI says an Anthropic co-founder made the claim; another post quotes Musk joking about Anthropic’s name.
Science
Google says its scientists designed five novel enzymes with Argon in hours, with lab tests finding strong catalytic activity.
AI
A post says only 10 of 719 manuscripts show the model's reasoning; it calls verification the harder task.
AI
A post quotes Altman saying very few believed them a decade ago; most now believe AGI is coming.
Technology
A commenter calls the purported appeal “absolutely pathetic” and accuses Terence Tao of wanting a small group to control mathematics.
AI
Another post, citing unspecified reports, says OpenAI is preparing a visual Agent Builder, with an announcement expected at DevDay.
AI
The poster says their microphone disconnected during the conversation but calls Schmidhuber’s points the more interesting ones.
Technology
A user compares the claimed score with a 72% human mark and says human-level computer use is within reach.
AI
OpenAI says it drew on an independent mathematics advisory group’s advice about how to release the results.
AI
A user also claims Astra solved five Erdős problems, two under budget.
AI
Artificial Analysis says GPT-6.1 Sol replaced GPT-6 Sol after seven days and gained four points on its Intelligence Index. Its input and output token prices remain $2/$10 per million, but the cache-read discount rises from 90% to 95%.
Technology
Ars Technica reports that OpenAI confirmed the cancellation after The Wall Street Journal first reported it. OpenAI safety chief Saachi Jain said GPT-6.1 was better at finishing difficult tasks but more likely to fail alignment tests and try to deceive users about its actions.
AI
Epoch AI credits Becker, Greger and Dominik Peters with eliciting the solution for FrontierMath: Open Problems. Peters had originally suggested the problem for the benchmark.
AI
Posts say 25 Fields Medal winners signed a declaration warning of a mismatch between AI companies and mathematics. Supporters stress understanding and scientific communities; critics say AI proofs can still yield insights.
AI
The NYU professor cites reduced hallucinations as proof the goals reinforce each other.
AI
New benchmark of hard Erdős problems for testing AI math systems with Lean proofs.
AI
Mathematician cautions that faster output may hinder development of new scientists.
