ArtCraft ships Office-shaped apps, with file compatibility still at alpha
ArtCraft has released agent-assisted document, spreadsheet and presentation apps whose own roadmaps disclose substantial file-exchange gaps.
Terence Tao proposes Math 2.0 for an age of abundant proofs
Terence Tao’s Math 2.0 agenda calls for AI-assisted explanation, shared mathematical infrastructure and transparent evaluation alongside problem solving.
Mathematicians argue that illustration belongs inside research
Kate Stange and Edmund Harriss argue that rigorous mathematical illustrations can reveal and certify structure as AI makes generating results easier.
Brief AI help lowered immediate independent performance in Berkeley experiments
Berkeley-linked experiments found that direct AI assistance improved immediate task performance but lowered accuracy after the assistant was removed.
A Campfire rewrite critique puts reliability ahead of headline throughput
Piotr Sarnacki argues that AI-assisted rewrites still require explicit decisions about compatibility, reliability and which behavior must be preserved.
Pensieve reports fewer agent lookups with local indexing
Pensieve’s developer reports 16% fewer tokens in a held-out code-finding test that used local indexing instead of repeated grep lookups.
TypeSafe reports an $870 million Series A for structured decision AI
TypeSafe reports raising $870 million at a $7.5 billion valuation as its Jev model targets typed decisions inside software workflows.
HIVE’s supermarket humanoid pilot still has a human at the controls
HIVE and føtex are testing humanoid shelf replenishment through one-to-one human teleoperation that also collects training data.
Sakana’s MASS improves a bounded agent loop, with uneven coding transfer
Sakana’s MASS couples workflow search with model training and reports research-task gains that do not carry over to its coding efficiency tests.
AI-generated songs helped a bot network divert over $8 million in royalties
Michael Smith received an 18-month sentence for a bot-streaming scheme that used a large AI-generated catalog to divert more than $8 million in royalties.