Google unveils Teamwork system for complex math proofs
Google expanded its Antigravity multi-agent system, using Gemini to power specialized agents within the Teamwork system. It successfully formalized complex proofs like the Weil conjectures through parallel processing and independent verification, demonstrating AI's research capabilities.
Summarized by AI from one outlet
Source
- IT之家Read original ↗
Latest
- Research
Surge AI test shows AI misses key tax questions
Surge AI released results for the DAYJOB: Tax benchmark simulating US tax consultation. The study found that while AI provides answers, it often overlooks critical questions that should be asked, highlighting limitations in professional tax work.
- Research
Ex-Anthropic Researcher: Retraining Mythos Requires Much Less Compute
Former Anthropic researcher Jacob Coxon stated that the company's IPO presentation revealed accelerating gains in AI training efficiency. He argued that the Mythos model represents a node in a super-exponential trend, meaning retraining it now requires a fraction of the initial compute. Coxon advocates for a pause in frontier AI development next year to allow competitors to catch up.
- Research
Most Rigorous Wet Lab Prediction Benchmark Released
Leading academic institutions released a new benchmark for wet lab predictions to test LLM reasoning capabilities. Results show that increasing inference intensity or compute does not effectively improve performance, highlighting limitations in AI experimental science predictions.
- Research
AI accelerates longevity research via blood and gene analysis
AI is pushing longevity research into a new phase. Scientists are combining AI with biology to identify clues for slowing aging from blood and gene data, improving the precision of tracking the human aging process.
- Research
Microsoft Exec: AI Will Replace Only 5% of Jobs in 10 Years
Microsoft AI CEO Mustafa Suleyman cited Nobel laureate Daron Acemoglu's research, suggesting AI will replace only 5% of jobs in the next decade. He clarified that AI automates tasks rather than eliminating entire positions.
All news → · All rights belong to the original creators