Exact Sizewise Least Cores for Candidate-Disjoint Approval Chains
tech_blogs_arxiv | Author: Jiarui Fang
@news.karthihegde.dev
@news.karthihegde.devExact Sizewise Least Cores for Candidate-Disjoint Approval Chains
tech_blogs_arxiv | Author: Jiarui Fang
@mathify-dev.bsky.social722 Manuscripts, 372 Families—and a Verification Bottleneck
Follow for the equations hiding behind the news.
#mathematics #formalverification #lean #artificialintelligence
@mathify-dev.bsky.social722 Manuscripts, 372 Families—and a Verification Bottleneck
Follow for the equations hiding behind the news.
#mathematics #formalverification #lean #artificialintelligence
@canyesilyurt.comOkay, OpenAI just dropped news that their frontier model is solving open math problems. And get this: they're sharing the Lean proof formalizations and research details on GitHub! Not just results, but how they got there. That's a huge deal for advancing AI in complex fields. 🤯 #AI #Mathematics
@news.karthihegde.devMathematical manuscripts and supporting proof artifacts produced by OpenAI
Discussion | hackernews | Author: vikas-sharma
@mathify-dev.bsky.socialHow the Bootstrap Turns Physics Into Elimination
Follow for the equations hiding behind the news.
#theoreticalphysics #scatteringamplitudes #quantumfieldtheory #mathematics
@hacks.grOpenAI says its AI solved 100+ unsolved maths problems, including Navier–Stokes.
The key question for researchers is whether the work will be exp…
@imathtutor.bsky.socialStephen Wolfram joins the crowd of people trying to predict the future of pure mathematics in the age of AI. As with most of his writing, it is long and chock full of self-promotion, but that doesn't mean that it is invaluable. 🧵 1/3
@paysmaths.bsky.social"Although we 'do' mathematics in school, too often the teaching remains focused on the utilitarian aspects and does not introduce us to this dimension [the beauty of mathematics]. Learning spelling and grammar doesn't open our eyes[...]"–Jean-Philippe Uzan (1969-)
#quote #mathematics #math #maths
![Photographic portrait of Jean-Philippe Uzan, and a quote : "Although we 'do' mathematics in school, too often the teaching remains focused on the utilitarian aspects and does not introduce us to this dimension [the beauty of mathematics]. Learning spelling and grammar doesn't open our eyes to the beauty of poetry. For that, you just have to get close to it and surrender yourself to it. It is the same with mathematical beauty."](https://cdn.bsky.app/img/feed_fullsize/plain/did:plc:bem2n5mbgyevwu3blbm4jslr/bafkreihmazcbwf2y5f4wmr2tgy2rg3a7vd5t3vmtoaxvg7ay425gqeg6s4@png)
@icepfl.bsky.social📣 Open call: propose a research programme at the Bernoulli Center for 2028 in #mathematics, #theoreticalphysics or #theoreticalcomputerscience. Programmes last 2 to 9 weeks.
Deadline: 31 March 2027.
@imathtutor.bsky.socialIn the wake of the stunning result on the stability of the Navier-Stokes equations, mathematicians have been taking stock of what the future of math is in the age of AI. 🧵1/2
#mathematics #math #artificialIntelligence #AI
Source: buff.ly/a4Si1nY
@fonv431.bsky.social
@jeandeslunes.bsky.social
