Loading activity…
@dr_singularity
Futurist. AGI/ASI by 2030. Posting about AI,AGI,ASI, Singularity, Post Scarcity, LEV,tech & sci progress. 300 000BC - 2029 = Dark Ages. 2030 - Golden Age Begins
Technology
Coin Bureau says the fund could receive up to 2% more shares per 50% valuation increase, subject to board approval.
AI
The researchers say the agents wrote 2,783 programs over 27 hours, coordinating through game chat and shared memory.
AI
A user says a team checked the disputed calculations and found the model was right.
Science
A Google DeepMind researcher says Gemini 4 Argon helped find further counterexamples to Grad's conjecture.
Science
A Nature paper reports that proposed leukemia drug candidates reduced cancer-cell viability in preliminary laboratory tests.
Science
A user claims AI already produces too many scientific breakthroughs to announce individually and predicts thousands in one drop.
AI
An AlphaProof researcher says collaborators have used LLM-powered agents like AlphaProof Nexus to prove research-level results.
Science
OpenAI says many proofs have computer-checkable Lean formalizations, but warns that some unformalized results could have issues.
Technology
OpenAI says the manuscripts span 372 research families and different verification stages; not all have Lean formalizations.
AI
OpenAI says it drew on an independent mathematics advisory group’s advice about how to release the results.
Science
A post says Claude Opus 5.5 agents designed one candidate and rediscovered another made in 1999.
Science
A post says Chalmers researchers linked LLM agents to automated cell culture and metabolomics equipment, with minimal human intervention.
AI
A user says Muse Spark generated code that helped find a 384-element counterexample to a 2024 group-theory conjecture.
Technology
Anthropic says physicist Matthew Schwartz built a calculation toolkit that helped Claude find connections across scientific fields.
AI
Anthropic says the academy aims to train 10,000 Frontier Deployed Engineers by the end of 2027.
Technology
Techmeme, citing Anthropic, says the academy is starting with Accenture, Bain and others.
Science
A post relays Anthropic’s claim that roughly 950 Claude agents searched more than 200,000 reverse transcriptases.
Science
Scientific American reports that an Anthropic AI produced a landmark proof in percolation theory, the math of how water passes through porous material such as coffee grounds.
Science
One post argues that scientific breakthroughs can save lives, while people have limited time to enjoy an expanding supply of games.
Science
Anthropic puts the cost at a few thousand dollars and says SLAC's Lance Dixon independently verified the result, which used methods he and his colleagues developed.
