ai-science
Terence Tao proposes Math 2.0 for an age of abundant proofs News
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 News
Kate Stange and Edmund Harriss argue that rigorous mathematical illustrations can reveal and certify structure as AI makes generating results easier.
TESS approves observations of a hobbyist’s Claude-assisted planet candidate News
TESS has approved two-minute observations of TIC 4206066, where Pavel Rabtsevich reports an AI-assisted transit candidate rather than a confirmed planet.
Mathematicians challenge how OpenAI presents mathematical progress News
New essays challenge the readability and career implications of OpenAI’s math release while community projects refine one conditional result.
Biohub expands virtual biology with a $1.8 billion mix of funding and resources News
Biohub’s expanded Virtual Biology Initiative combines new commitments with earlier funding and existing NIH data infrastructure to improve the evidence behind cell models.
OpenAI withdraws three math manuscripts as its mass release enters review News
OpenAI withdrew three related manuscripts and revised fourteen others, leaving 719 manuscripts and 300 formalized top-line results in its mathematics release.
TasteVal reports cheaper experimental search, without demonstrating scientific invention News
TasteVal reports Opus 5.5 reached an expert benchmark reference with a 2.30 compute multiplier across eight constrained experimental-research tasks.
Vals publishes a two-kernel-checked artifact for the seven-point Thomson problem News
Hung Tran reports a Claude-agent-generated Lean proof for the seven-point Thomson problem, with a second-kernel check and an explicit warning that the statement is not human-certified.
Mathematicians propose prompt release, disclosure, and funding for understanding AI results News
AGMAI’s recommendations call for prompt publication of AI-generated mathematics with process disclosure, verification artifacts, and support for human understanding.