Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  vibecoding  openai  health  techspot.com  theguardian.com  psychology  psypost.org  release  arstechnica.com  apple  linux  security  google  nature.com  microsoft  show  web 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

An AI agent solved nine of 353 open Erdős problems on its own and proved 44 of 492 integer sequence conjectures.

13 hours ago science.org ai mathematics

Sharing AI progress in mathematics

3 days ago openai.com ai

Two Futures for LLMs in Mathematics

26 hours ago wiredream.com llm math vibecoding

OpenAI mistranslated mathematics into code for its Navier-Stokes proof

22 hours ago newscientist.com openai

OpenAI, the Partition Principle, and Mathematics

44 hours ago karagila.org openai

The Future of Mathematics

5 days ago terrytao.wordpress.com

Mathematics of Geothermal Energy

4 days ago ebsco.com

'Breathtaking,' 'Devastating': Mathematics Reels After New OpenAI Release

26 hours ago nytimes.com openai release

Is mathematics over, or just graduating?

5 days ago docs.google.com

When biology inspires mathematics: new discovery explains why a widely used evolutionary method can give false answers

36 days ago helsinki.fi biology mathematics

A Misalignment of AI in Mathematics

29 days ago terrytao.wordpress.com ai math vibecoding

A misalignment of AI in mathematics

29 days ago mathandai.org ai math vibecoding

Responsible Release of AI-Generated Mathematics

10 days ago agmai.org release

Align AI and Mathematics–To Something Else

27 days ago liorpachter.wordpress.com ai

The Misalignment Is Within: Why Mathematics Must Embrace the AI Paradigm

16 days ago medium.com ai

The Advisory Group on Mathematics and Artificial Intelligence

19 days ago terrytao.wordpress.com ai

The Relation Between Mathematics and Physics by Paul Dirac (1939)

27 days ago damtp.cam.ac.uk

Advisory Group on Mathematics and Artificial Intelligence

19 days ago openai.com ai

A beginning for mathematics

26 days ago daniellitt.com

A Beginning for Mathematics

25 days ago proofsandprompts.com

Is mathematics about to enter the conservatory?

33 days ago mbmccoy.dev

Caltech Mathathon – first hackathon ever devoted to research level mathematics

33 days ago mathathonchallenge.com

PISA 2025 Students' reading and mathematics performance declined across the OECD

32 days ago oecd.org

MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server

33 days ago github.com kernel

Mathematicians have discovered a set of equations capable of untangling the distortions caused by singularities in maps

52 days ago lettersandsciencemag.ucdavis.edu mathematics

Ten advances in mathematics and theoretical computer science

2 months ago openai.com math vibecoding

Mathematics Without Mathematicians

2 months ago borretti.me math vibecoding

Palomar: A registry of Lean verified mathematics

52 days ago terrytao.wordpress.com formalmethods math

Mathematics in the age of AI

52 days ago arxiv.org ai

How Will AI Change the Field of Mathematics?

49 days ago theverge.com ai

More →