ZeroHour
Organization

Caltech

1 mentions in 7 days · 3 in 30 days · 3 total · first seen · last

Timeline

OpenAI’s feud with mathematicians is only escalating

25 Fields Medalists sign an open letter warning AI labs threaten math attribution; NYU's Tristan Buckmaster accuses OpenAI of pressuring him over collaborator credit.

Twenty-five Fields Medal-winning mathematicians signed an open letter arguing rushed AI proofs raise severe attribution and plagiarism questions and could destroy the culture of open research. NYU professor Tristan Buckmaster accused OpenAI of pressuring him not to credit an Anthropic-employed collaborator, and OpenAI withdrew sponsorship of a Caltech math event after researcher criticism. OpenAI's marathon-weekend proof remains unverified, and mathematicians fear their Codex usage may be fed into OpenAI's new models. The letter follows the June Leiden Declaration on LLM proofs.

TechCrunch · AI · 4d agoAI industry

Caltech Mathathon – first hackathon ever devoted to research level mathematics

Caltech will host the first research-level mathematics hackathon on October 30, giving 100 teams frontier AI models to attack open conjectures.

The Caltech Mathathon runs October 30 to November 1, assembling about 100 teams that will receive frontier models and over $2 million in AI credits to work on open mathematical problems. Teams will defend their results before leading mathematicians, with prize rounds before and after community verification of the results. The announcement cites recent AI-driven math results, including the disproof of Erdos's 80-year-old planar unit-distance conjecture, the first explicit non-sofic group, and a claimed complex structure on the six-sphere (unverified).

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing

Caltech professor Anima Anandkumar discusses Neural Operators and FourCastNet for physics modeling, arguing inductive biases beat pure token scaling.

Anima Anandkumar, Bren Professor at Caltech and co-founder of Accelerated Understanding, describes Fourier Neural Operators that learn in frequency and spherical-harmonic domains to model weather, fusion, and fluid or heat flow. Her team built FourCastNet 3, a global weather model competitive with physics-based simulations that runs on consumer-grade GPUs. She also introduced TorchLean, a framework for writing PyTorch-style networks inside the Lean proof assistant for formal verification, and was appointed to the United Nations Scientific Advisory Board. She argues physical domains resist scaling due to tiny datasets and context lengths in the hundreds of billions, so progress comes from built-in structure and physical priors.

Latent Space · 20d agoAI research1

Appears with

Entities are extracted by the model from each article. Watching an entity keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.